3

Efficient implementation of reduce-scatter in MPI

Year:
2003
Language:
english
File:
PDF, 563 KB
english, 2003
7

Optimality of size-degree tradeoffs for polynomial calculus

Year:
2010
Language:
english
File:
PDF, 212 KB
english, 2010
16

On the Automatizability of Polynomial Calculus

Year:
2010
Language:
english
File:
PDF, 462 KB
english, 2010
24

A characterization of tree-like Resolution size

Year:
2013
Language:
english
File:
PDF, 226 KB
english, 2013
32

Parameterized Complexity of DPLL Search Procedures

Year:
2013
Language:
english
File:
PDF, 179 KB
english, 2013
35

The complexity of proving that a graph is Ramsey

Year:
2017
Language:
english
File:
PDF, 398 KB
english, 2017
38

Narrow Proofs May Be Maximally Long

Year:
2016
Language:
english
File:
PDF, 377 KB
english, 2016
39

Space Complexity in Polynomial Calculus

Year:
2015
Language:
english
File:
PDF, 409 KB
english, 2015
42

A note about k -DNF resolution

Year:
2018
Language:
english
File:
PDF, 336 KB
english, 2018
43

Advances in HV transmission systems

Year:
2018
Language:
english
File:
PDF, 115 KB
english, 2018
44

On semantic cutting planes with very small coefficients

Year:
2018
Language:
english
File:
PDF, 294 KB
english, 2018
45

Cliques enumeration and tree-like resolution proofs

Year:
2018
Language:
english
File:
PDF, 324 KB
english, 2018